Process algebra , as one of the important tools for describing and analyzing concurrent and distributed systems , became an central branch of research in concurrency theory 進(jìn)程代數(shù)作為描述和分析并發(fā)與分布式系統(tǒng)的重要工具之一是并發(fā)理論的主流研究方向。
The linear time - branching time spectrum ii : the semantics of sequential processes with silent moves . in concurrency theory , best e ed . , lncs 715 , 1993 , pp . 66 - 81 本文的主要貢獻(xiàn)是研究了這種更一般的并發(fā)系統(tǒng)的動(dòng)作精化理論,證明了我們的動(dòng)作精化具有通常期望的以下一些性質(zhì): 1正確性。